Final ReportPaid Leave Analysis Grant Program Launching the Rhode Island Temporary Caregiver Insurance Program (TCI): Employee Experiences One Year Later General Grant Information SGA Type: Letter of Interest

Source URL: www.dlt.ri.gov

C:/Home/Cipak/UPT/PublicationsSACIaccepted/paper/paper.dvi

Source URL: www.islavici.ro

• Software engineering
• Software quality
• Systems engineering
• Software metrics
• Source code
• Systems thinking
• ISO/IEC
• Reliability engineering
• Static program analysis
• NDepend
• Software testing
• Non-functional requirement

PDF Document

Source URL: www.cs.umd.edu

• Type theory
• Object-oriented programming languages
• Scripting languages
• Program analysis
• Type system
• Objective-C
• Ruby
• Dynamic programming language
• Fold
• Library
• JavaScript
• Monad

InSight Mission Status Bruce Banerdt Jet Propulsion Laboratory 2 March, 2016 InSight Mission Status – “Plan B”

Source URL: mepag.jpl.nasa.gov

• Discovery Program
• Astrobiology
• Geology of Mars
• InSight
• Exploration of Mars
• Spacecraft
• Beagle 2
• Mars Exploration Program Analysis Group
• Elysium Planitia
• Lander

Efficiently Sampling Probabilistic Programs via Program Analysis Arun T. Chaganty Stanford University Aditya V. Nori

Source URL: research.microsoft.com

Wrap-up of MEPAG 31 Jeff Johnson, MEPAG Chair Lisa Pratt, Past MEPAG Chair THEMIS, showing composition of Gale Crater

Source URL: mepag.jpl.nasa.gov

• Exploration of Mars
• NASA
• Mars Exploration Program Analysis Group
• Mars
• Astronomy

Finding Your Cronies:  Static Analysis for Dynamic Object Colocation Samuel Z. Guyer Kathryn S. McKinley

Source URL: www.cs.utexas.edu

• Computing
• Software engineering
• Data types
• Memory management
• Static program analysis
• Primitive types
• Object-oriented programming languages
• Colocation centre
• Escape analysis
• Garbage collection
• Garbage
• Reference

Agenda for MEPAG meeting #31 on Marchin Silver Spring, MD Start Time Agenda (as of)

Source URL: mepag.jpl.nasa.gov

• Exploration of Mars
• Mars Exploration Program Analysis Group
• NASA

Agenda for MEPAG meeting of Februaryin Pasadena-Monrovia, CA Start Time Agenda Item (as of)

Source URL: mepag.jpl.nasa.gov

• Exploration of Mars
• Astrobiology
• NASA
• Mars Exploration Program Analysis Group
• ExoMars
• Mars

Selecting a Landing Site for Humans on Mars Mars Exploration Program Analysis Group (MEPAG) Presentation HEOMD/Ben Bussey

Source URL: mepag.nasa.gov